基于警报关联的威胁行为检测技术综述

基于警报关联的网络威胁行为检测技术因其与网络上大量部署的安全产品耦合,且能充分挖掘异常事件之间的关联关系以提供场景还原证据,正成为复杂威胁行为检测的研究热点。从威胁行为和网络安全环境的特点出发,引出威胁行为检测的应用需求和分类,介绍基于警报关联的威胁行为检测的基本概念和系统模型;重点论述作为模型核心的警报关联方法,并分类介绍了各类典型算法的基本原理和特点,包括基于因果逻辑的方法、基于场景的方法、基于相似性的方法和基于数据挖掘的方法;并结合实例介绍了威胁行为检测系统的三种典型结构,即集中式结构、层次式结构和分布式结构;基于当前研究现状,提出了对未来研究趋势的一些认识。     

基于物联网的战地装备安全监管问题研究

针对战地环境中军事装备的安全监管问题,分析了战地装备安全监管应用系统的整体结构与功能层次,给出了基于RFID射频识别技术、无线传感器等物联网技术的硬件平台设计方案,以及基于数据采集、分析、融合、传输和可视化技术研发监管控制软件的实现方案。该系统部署应用后可实现对装备实时、连续、精确的分级监管,能够确保装备管理的安全和高效,提高部队指挥决策能力。     

反潜火控软件复用及构件化开发

随着反潜火控设备的快速发展,火控软件中成熟的解算技术需要有效继承,同时需要开发适合新型武器的操控及解算技术,为后续其它型号软件提供高效的功能继承。因此开展软件复用及构件化开发研究在反潜火控软件研制过程中具有重要意义。本文研究了在反潜火控软件开发过程中进行软件复用及构件化开发的技术,并详细介绍了适合反潜火控软件开发的方法和过程。该项技术的使用有效提高了反潜火控软件的可靠性和开发效率,目前已被成功应用在反潜火控软件中。     

基于准循环双对角阵的LDPC码编码算法

针对校验矩阵形如准循环双对角阵的结构化LDPC码,对比研究了两类高效的编码算法:矩阵分解编码算法和分项累加递归编码算法,证明了两类算法从实现角度是等价的,但分项累加递归编码算法推导更为直观,且便于硬件并行实现。基于分项累加编码算法,提出了一种适合准循环双对角LDPC码的部分并行编码结构,设计实现了IEEE 802.11n标准中的LDPC码编码器。FPGA实现结果表明,所设计的LDPC编码器具有硬件开销较小、吞吐率高的优点,在码长为1944bit、码率为5/6时信息比特吞吐率最高可达13Gbps。     

基于网关的LVC互操作研究

仿真体系结构解决了各自领域内仿真资源的互操作问题,而体系结构间的互操作是解决多种仿真资源互操作的有效方法.由于通信协议、中间件和对象模型的不同,体系结构间不能直接进行信息交互.对象模型间的相同点是异构仿真系统间互操作的基础.建立异构系统对象模型与通用数据交换模型的映射关系,通过模型转换实现各异构系统间的数据交互,最后通过"点对点"和通用网关间的时延比较,总结了通用网关的性能特点.     

AFRICA'S TRIPLE TRANSITION

Sub-Saharan Africa has witnessed the end of foreign colonial rule, the rise and fall of autocratic political regimes, and the disappearance of statist command economies. The challenges were to turn populations into coherent nations owing allegiance to the state; to democratise the state structures that govern these populations; and to liberalise the rules that regulate economic transactions. An important source to assess these prospects are the views and attitudes of ordinary Africans. This essay reflects on the original data derived from a crossnational research project. Nine African states were surveyed between 1999 and 2000. An attempt is made to gather some propositions from the analysis of the data. Many present serious challenges to common wisdom about African politics. It appears that the process of nationbuilding has created coherent political communities with high levels of national identity; that democratising the state in Africa builds on existing indigenous demands from ordinary Africans; and that economic liberalisation proceeds in the face of a mixed set of values about market and state.     

可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

基于Matlab四杆式液压起落机构运动学与动力学分析

提出了一种可用于加油卷盘升降的四杆式液压起落机构的设计方案。分析了四杆式液压起落机构的工作原理,采用复数向量法建立了运动学和动力学数学模型。利用Matlab软件编制了相应的程序进行实例分析和计算,得到了机构关键点的仿真轨迹和有关构件的角位移、角速度及角加速度曲线。运用理论分析计算和软件仿真,验证了机构设计的合理性和方案的可行性。     

一种新的双输入多通道直流变换器

在传统的含储能单元分布式供电系统中,一般都需要多个单向直流变换器和双向直流变换器才能实现其功能。提出一种新的双输入多通道直流变换器,它的功能等效于一个单向直流变换器和一个双向直流变换器。分析了双输入多通道直流变换器的工作原理,给出了变换器的稳态关系式以及能量管理方法,并运用Saber软件进行仿真,验证了理论分析的正确性。该直流变换器除具有双输入Buck直流变换器的优点外,还能实现可再生能源向储电输入源充电。     

基于DM2的体系结构可执行模型构建方法

基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,分析了基于DM2的逻辑数据与可执行模型各构建要素的对应关系,构建了基于DM2的逻辑数据模型直接转可执行模型的过程框架,重点研究了如何直接从体系结构底层数据转可执行模型的方法,从而为进行基于元模型的体系结构可执行评估提供模型基础,也为进一步实现体系结构自动化验证评估提供技术支持。实例验证了文章提出的方法。